2000 words about arrays and tables
buttondown.com·21h·
Discuss: Lobsters, Hacker News
🔨Compilers
clj-coll: Clojure collections and sequences in Common Lisp
github.com·4d·
Discuss: Lobsters, Hacker News
✅Formal Methods
The Math Is Haunted
overreacted.io·1d·
Discuss: Hacker News, r/javascript, r/programming
📐Type Theory
A Retrospective on Paradigms of AI Programming (2002)
norvig.com·3d·
Discuss: Hacker News
🔨Compilers
500 virtual Linux devices on ARM 64
underjord.io·1d
⚙️Systems Programming
I Know When You're Vibe Coding
alexkondov.com·1d·
Discuss: Hacker News, Hacker News, r/programming
💻programming
From XML to JSON to CBOR
cborbook.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧩WebAssembly
Playing with open source LLMs
alicegg.tech·2d·
Discuss: Hacker News
🧩WebAssembly
A Periodic Table of System Design Principles
github.com·1d·
Discuss: Hacker News
🔄Concurrency
Blog series on creating an OS in Rust
os.phil-opp.com·22h·
Discuss: Hacker News
⚡Zig
2025 One-Hertz Challenge: A Software-Only AM Radio Transmitter
hackaday.com·17h
💻programming
Writing memory efficient structs in C
tomscheers.github.io·1d·
Discuss: Lobsters, Hacker News, r/C_Programming
⚡Zig
Every American Is Bilingual
justevilenough.com·2d·
Discuss: Hacker News
🔨Compilers
Emacs: The macOS Bug
xlii.space·16h·
Discuss: Lobsters, Hacker News
⚡Zig
Formal specs as sets of behaviors
surfingcomplexity.blog·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
✅Formal Methods
Learning Is Slower Than You Think
nisheethvishnoi.substack.com·1d·
Discuss: Substack
🤖ai
How to draw lambda diagrams (2020)
risingentropy.com·5d·
Discuss: Hacker News
📐Type Theory
SensorLM: Learning the language of wearable sensors
research.google·2d·
Discuss: Hacker News, Hacker News
⚙LLVM
Why I’m not letting the juniors use GenAI for coding
lukeplant.me.uk·4d
⚡Zig
Two Birds with One Tone: I/Q Signals and Fourier Transform
wirelesspi.com·1d·
Discuss: Hacker News
🔍eBPF